#include "libc/sysv/consts/syscon.internal.h"
.syscon nr,__NR_execve,0x003b,0x00dd,0x200003b,0x003b,0x003b,0x003b,0x03b,0xfff
